Examples of weak amalgamation classes
نویسندگان
چکیده
We present several examples of hereditary classes finite structures satisfying the joint embedding property and weak amalgamation property, but failing cofinal property. These include a continuum-sized family undirected graphs, as well an example due to Pouzet with countably categorical generic limit.
منابع مشابه
Symmetry in abstract elementary classes with amalgamation
This paper is part of a program initiated by Saharon Shelah to extend the model theory of first order logic to the nonelementary setting of abstract elementary classes (AECs). An abstract elementary class is a semantic generalization of the class of models of a complete first order theory with the elementary substructure relation. We examine the symmetry property of splitting (previously isolat...
متن کاملCategoricity for Abstract Classes with Amalgamation Sh394
Let K be an abstract elementary class with amalgamation, and Lowenheim Skolem number LS(K). We prove that for a suitable Hanf number χ0 if χ0 < λ0 ≤ λ1, and K is categorical in λ + 1 then it is categorical in λ0. 2000 Mathematics Subject Classification. 03C45, 03C75.
متن کاملLimit Models in Classes with Amalgamation
In abstract elementary classes limit models are sometimes the appropriate substitute for saturated models. For Galois-stable abstract elementary classes which satisfy the amalgamation property, we prove under the assumption that there is a mildly behaved dependence relation, that for any model M , any two limit models over M of the same cardinality are isomorphic. This is useful in dealing with...
متن کاملOn the Structure of Categorical Abstract Elementary Classes with Amalgamation
For K an abstract elementary class with amalgamation and no maximal models, we show that categoricity in a highenough cardinal implies structural properties such as the uniqueness of limit models and the existence of good frames. This improves several classical results of Shelah. Theorem 0.1. Let μ ≥ LS(K). If K is categorical in a λ ≥ i(2μ)+ , then: (1) Whenever M0,M1,M2 ∈ Kμ are such that M1 ...
متن کاملClasses of Representable Algebras with the Amalgamation Property
We introduce an abstract class of algebras that is a proper reduct of both Pinter’s substitution algebras and cylindric algebras. We show that the class of representable algebras have the amalgamation property. Pinter’s substitution algebras were introduced by Pinter [13], [14]. Such algebras are obtained from cylindric algebras by dropping the diagonal elements and adding unary operations of s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Logic Quarterly
سال: 2022
ISSN: ['0942-5616', '1521-3870']
DOI: https://doi.org/10.1002/malq.202100037